<html>
    <head>
        <title></title>
        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
        <link rel="stylesheet" type="text/css" href="../style.css">
    </head>
    <body>
        <div class="text">
        <h2>Generate Checks</h2>
        The "Generate checks"-function within the verificationmenu gives the possibility to
        create a version of a procedure where assertions are replaced by if-clauses while the
        functionality of the procedure itself remains the same. This is useful for testing
        if the placed assertions in the source procedure are correct. If a assertion is wrong
        the execution of the programm by the Ada-compiler will stop and the target assertion
        will be printed out.
        </div>
    </body>
</html>
